Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів
1

Normalization by Evaluation for Martin-Löf Type Theory with One Universe

Andreas Abel, Klaus Aehlig, Peter Dybjer
Журнал:
Electronic Notes in Theoretical Computer Science
Рік:
2007
Мова:
english
Файл:
PDF, 416 KB
english, 2007
2

A syntactical analysis of non-size-increasing polynomial time computation

Aehlig, Klaus, Schwichtenberg, Helmut
Журнал:
ACM Transactions on Computational Logic
Рік:
2002
Мова:
english
Файл:
PDF, 197 KB
english, 2002
3

Energy dependence of the bremsstrahlung cross section at the short wavelength limit

A. Aehlig, M. Scheer, F. Zilker
Журнал:
Physics Letters A
Рік:
1975
Мова:
english
Файл:
PDF, 677 KB
english, 1975
4

Continuous normalization for the lambda-calculus and Gödel’s

Klaus Aehlig, Felix Joachimski
Журнал:
Annals of Pure and Applied Logic
Рік:
2005
Мова:
english
Файл:
PDF, 358 KB
english, 2005
5

An arithmetic for non-size-increasing polynomial-time computation

Klaus Aehlig, Ulrich Berger, Martin Hofmann, Helmut Schwichtenberg
Журнал:
Theoretical Computer Science
Рік:
2004
Мова:
english
Файл:
PDF, 327 KB
english, 2004
6

Elastische Elektronenstreuung im Energiebereich 100–150 keV

A. Aehlig, E. Hörber, D. Kuscheck, M. Scheer
Журнал:
Zeitschrift für Physik A Hadrons and Nuclei
Рік:
1972
Мова:
german
Файл:
PDF, 661 KB
german, 1972
7

Absolutmessungen des Elementarprozesses der Bremsstrahlungserzeugung

A. Aehlig, M. Scheer
Журнал:
Zeitschrift für Physik A Hadrons and Nuclei
Рік:
1972
Мова:
german
Файл:
PDF, 632 KB
german, 1972
9

The production of roentgenbremsstrahlung by transversely polarized electrons

A. Aehlig
Журнал:
Zeitschrift für Physik A Hadrons and Nuclei
Рік:
1980
Мова:
english
Файл:
PDF, 583 KB
english, 1980
11

Parameter-free polymorphic types

Klaus Aehlig
Журнал:
Annals of Pure and Applied Logic
Рік:
2008
Мова:
english
Файл:
PDF, 640 KB
english, 2008
12

On the computational complexity of cut-reduction

Klaus Aehlig, Arnold Beckmann
Журнал:
Annals of Pure and Applied Logic
Рік:
2010
Мова:
english
Файл:
PDF, 1.36 MB
english, 2010
13

Induction and Inductive Definitions in Fragments of Second Order Arithmetic

Klaus Aehlig
Журнал:
Journal of Symbolic Logic
Рік:
2005
Мова:
english
Файл:
PDF, 2.08 MB
english, 2005
14

An arithmetic for non-size-increasing polynomial-time computation

AEHLIG, K
Журнал:
Theoretical Computer Science
Рік:
2004
Мова:
english
Файл:
PDF, 327 KB
english, 2004
17

Induction and inductive definitions in fragments of second order arithmetic

Aehlig, Klaus
Журнал:
Journal of Symbolic Logic
Рік:
2005
Мова:
english
Файл:
PDF, 1.33 MB
english, 2005
18

Operational aspects of untyped Normalisation by Evaluation

AEHLIG, KLAUS, JOACHIMSKI, FELIX
Журнал:
Mathematical Structures in Computer Science
Рік:
2004
Мова:
english
Файл:
PDF, 369 KB
english, 2004
19

A compiled implementation of normalisation by evaluation

AEHLIG, KLAUS, HAFTMANN, FLORIAN, NIPKOW, TOBIAS
Журнал:
Journal of Functional Programming
Рік:
2012
Мова:
english
Файл:
PDF, 211 KB
english, 2012
20

Multivariate amortized resource analysis

Hoffmann, Jan, Aehlig, Klaus, Hofmann, Martin
Журнал:
ACM Transactions on Programming Languages and Systems
Рік:
2012
Мова:
english
Файл:
PDF, 680 KB
english, 2012
21

An elementary fragment of second-order lambda calculus

Aehlig, Klaus, Johannsen, Jan
Журнал:
ACM Transactions on Computational Logic
Рік:
2005
Мова:
english
Файл:
PDF, 129 KB
english, 2005
23

Relativizing small complexity classes and their theories

Aehlig, Klaus, Cook, Stephen, Nguyen, Phuong
Журнал:
Computational Complexity
Рік:
2016
Мова:
english
Файл:
PDF, 504 KB
english, 2016
25

Multivariate amortized resource analysis

Hoffmann, Jan, Aehlig, Klaus, Hofmann, Martin
Журнал:
ACM SIGPLAN Notices
Рік:
2011
Мова:
english
Файл:
PDF, 1000 KB
english, 2011